61. Prolog++: the power of object- Oriented and Logic Programming
Author: Moss, Chris
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Prolog++(Computer program language) ► Object- Oriented programming(Computer science) ► Logic programming
Classification :
005
M894p


62. Prolog++ : the power of object-oriented and logic programming
Author: Moss, Christopher D. S.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Prolog++ )Computer program language(,، Object-oriented programming )Computer science(,، Logic programming
Classification :
QA
76
.
73
.
P2
.
M69
1994


63. Prolog versus you; an introduction to logic programming
Author: Johansson, Anna- Lena, 1951-
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Prolog (Computer program language) ► Logic programming
Classification :
006
J65p


64. Static Analysis :
Author: by Patrick Cousot, Moreno Falaschi, Gilberto File.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.

65. Techniques of Prolog programming : with implementation of logical negation and quantified goals
Author: Van Le, T.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Prolog )Computer program language( , Negation )Logic(
Classification :
QA
76
.
73
.
P76
V36
1993


66. The art of Prolog
Author: / Leon Sterling, Ehud Shapiro
Library: Library of College of Science University of Tehran (Tehran)
Subject: Prolog (Computer program language)
Classification :
QA
76
.
73
.
P76
S74
1994


67. The art of Prolog
Author: / Leon Sterling, Ehud Shapiro
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Prolog (Computer program language)
Classification :
QA
,
76
.
73
,.
P76
,
S74
,
1994


68. The art of Prolog : advanced programming techniques
Author: Sterling, Leon.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Prolog )Computer program language(
Classification :
QA
76
.
73
.
P76
S74
1994


69. The art of Prolog. advanced programming techniques
Author: Sterling, Leon
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Prolog )Computer program language(
Classification :
QA
76
.
73
.
P76
S74
1999


70. The art of prolog: advanced programming techniques
Author: Sterling, Leon
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Prolog )Computer program language(
Classification :
QA
76
.
73
.
P76
S74
1986


71. The craft of Prolog
Author: O'Keefe, Richard A.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Prolog )Computer program language(
Classification :
QA
76
.
73
.
P76
.
O38
1990


72. The transparent paolog machine
Author: / Marc Eisenstadt, Mike Brayshaw, Jocelyn Paine,Eisenstadt
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Prolog ( Computer Program language),Logic programming ( Computer Science),Transparent prolog machine
Classification :
QA
76
.
73
.
P76E48
1991


73. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 :
Author: edited by Ehud Shapiro.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming -- Congresses.,Logic programming.,Programmation logique -- Congrès.
Classification :
QA76
.
6
E358
1986


74. Why Prolog?
Author: / Gregory L. Lazarev
Library: Library of College of Science University of Tehran (Tehran)
Subject: Prolog (Computer program language),Logic programming
Classification :
QA
76
.
73
.
P76
L38
1989


75. Why prolog?
Author: / Gregory L. Lazarev
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Prolg(Computer program language),Logic programming
Classification :
QA
76
.
73
.
P76L38
1989

